Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
751	Effective Typestate Verification in the Presence of Aliasing Stephen Fink∗ ∗ Eran Yahav∗ Nurit Dor† Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2006-07-26 21:44:02 Mathematics Data management Complexity classes NP Pointer analysis Pointer Abstraction Formal verification Shape analysis Theoretical computer science Static program analysis Applied mathematics
752	PRECISE AND AUTOMATIC VERIFICATION OF CONTAINER-MANIPULATING PROGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-12-06 18:00:13 Applied mathematics Science Logic in computer science Creativity Thought Heap Algorithm Formal verification Logic Abstraction Theoretical computer science Mathematics
753	TSE[removed]The Design of a Multi-Core Extension of the SPIN Model Checker Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Computer architecture Central processing unit Model checkers Model checking Multi-core processor CPU design SPIN model checker Concurrent data structure Formal verification Computing Parallel computing Electronic engineering
754	[removed]David Jeffrey Ljung Madison - Resume David Jeffrey Ljung Madison Programming, Algorithm Design/Development, VLSI / CPU Verification Add to Reading List Source URL: daveola.com Language: English - Date: 2014-06-11 01:47:55 Hardware description languages Formal methods Logic in computer science Verilog Application-specific integrated circuit E Random test generator Formal verification Verification Electronic engineering Electronic design automation Hardware verification languages
755	Cooperate to Validate OBSERVAL-NET experts’ report on Validation of Non-formal and Informal learning (VNIL[removed]Authors: Saskia Weber Guisan, Janine Voit, Sonja Lengauer, Eva Proinger, Ruud Duvekot and Kirsten Aagaar Add to Reading List Source URL: www.eucen.eu Language: English - Date: 2014-06-02 06:18:06 Education Knowledge Nonformal learning Informal learning Learning Verification and validation Validation Educational psychology Pharmaceutical industry Validity
756	Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Quality assurance Fault injection Reliability engineering Formal verification Software verification Stress testing Flash memory Device driver synthesis and verification TestComplete Software testing Software quality Design
757	Postdoc position: Hybrid Systems Theorem Proving Carnegie Mellon University, Computer Science Department Professor André Platzer is looking for talented researchers with a strong research track record for a project in t Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-06-14 23:11:52 Automated theorem proving Logic in computer science Mathematics Cyber-physical system Formal verification KeY Carnegie Mellon University Logic programming Theoretical computer science Formal methods Applied mathematics
758	Andr´ e Platzer Last updated: July 6, 2013 Contact Information Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-09-18 18:27:49 Mathematics Logic in computer science Formal methods Formal verification Model checking Magnus Egerstedt KeY Edmund M. Clarke Lecture Notes in Computer Science Theoretical computer science Applied mathematics Automated theorem proving
759	Use of formal methods in embedded software development: stakes, constraints and proposal Anthony Fernandes Pires∗† , Thomas Polacsek† , Virginie Wiels† and St´ephane Duprat∗ ∗ Atos Int´egration SAS, 6 impa Add to Reading List Source URL: www.erts2014.org Language: English - Date: 2014-01-10 03:51:09 Computing Systems engineering Software testing ANSI/ISO C Specification Language C programming language Software quality Frama-C Formal verification DO-178B Software development Formal methods Software
760	Digital Design Derivation 1. Introduction This research applies formal methods in logic, verification, and synthesis to digital design engineering. The work centers on the use of applicative notation for system descript Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 15:58:20 Logic in computer science Digital electronics Logic synthesis Logic simulation High-level synthesis Verilog Actor model Abstraction Programming language Electronic engineering Electronic design automation Electronic design

UPDATE